infima prime